https://courses.csail.mit.edu/6.042/spring18/mcs.pdf

목차

• I. Proofs

1. What is a Proof
2. The Well Ordering Principle
3. Logical Formulas
4. Mathematical Data Types
5. Induction
6. State Machines
7. Recursive Data Types
8. Infinite Sets

• II. Structures

1. Number Theory
2. Directed graphs & Partial Orders
3. Communication Networks
4. Simple Graphs
5. Planar Graphs

• III. Counting

1. Sums and Asymptotics
2. Cardinality Rules
3. Generating Functions

• IV. Probability

1. Events and Probability Spaces
2. Conditional Probability
3. Random Variables
4. Deviation from the Mean
5. Random Walks

• V. Recurrences

1. Recurrences